Combining Rules and Ontologies. A survey.
نویسندگان
چکیده
We survey existing approaches to the problem of combining rule languages with ontology languages for the Semantic Web. The focus is on the languages based on logic and on the reasoning in such languages. The objective is to give a uniform view of the approaches, and to outline related research topics important for REWERSE. Keyword List ontologies, ontology languages, description logics, datalog, F-logic, non-monotonic reasoning Project co-funded by the European Commission and the Swiss Federal Office for Education and Science within the Sixth Framework Programme.
منابع مشابه
Reasoning with Rules and Ontologies
For realizing the Semantic Web vision, extensive work is underway for getting the layers of its conceived architecture ready. Given that the Ontology Layer has reached a certain level of maturity with W3C recommendations such as RDF and the OWL Web Ontology Language, current interest focuses on the Rules Layer and its integration with the Ontology Layer. Several proposals have been made for sol...
متن کاملOn Combining Description Logic Ontologies and Nonrecursive Datalog Rules
Reasoning in systems integrating Description Logics (DL) ontologies and Datalog rules is a very hard task, and previous studies have shown undecidability of reasoning in systems integrating (even very simple) DL ontologies with recursive Datalog. However, the results obtained so far constitute a very partial picture of the computational properties of systems combining DL ontologies and Datalog ...
متن کاملReasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract)
In this paper, we address the problem of dealing with inconsistent knowledge bases consisting of ontologies and non-monotonic rules, following a paraconsistent reasoning approach with a focus on efficiency. Description Logics (DLs) and Logic Programs (LPs) provide different strengths when used for Knowledge Representation and Reasoning. While DLs employ the Open World Assumption and are suited ...
متن کاملCombining Rules and Ontologies with Carneades
The Carneades software system provides support for constructing, evaluating and visualizing arguments, using formal representations of facts, concepts, defeasible rules and argumentation schemes. This paper illustrates how rules and ontologies can be combined in Carneades with a prototype legal application for analyzing open source software license compatibility issues in particular cases.
متن کاملRules and Ontologies for the Semantic Web
Rules and ontologies play a key role in the layered architecture of the Semantic Web, as they are used to ascribe meaning to, and to reason about, data on the Web. While the Ontology Layer of the Semantic Web is quite developed, and the Web Ontology Language (OWL) is a W3C recommendation since a couple of years already, the rules layer is far less developed and an active area of research; a num...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005